Boolean function - PDFSEARCH.IO - Document Search Engine

Boolean function
Results: 326

#	Item
121	Threshold Phenomena and Influence with Some Perspectives from Mathematics, Computer Science, and Economics Gil Kalai∗ and Shmuel Safra† ∗ Add to Reading List Source URL: www.ma.huji.ac.il Language: English - Date: 2005-09-22 13:44:28 Boolean algebra Computational complexity theory Monotonic function Circuit complexity Boolean function FO Boolean circuit Circuit IP Theoretical computer science Applied mathematics Mathematics
122	Exploring Multi-Valued Minimization Using Binary Methods Alan Mishchenko Department of EECS UC Berkeley Berkeley, CA[removed]removed] Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-01-21 13:03:49 Algebraic logic Binary decision diagram Diagrams Model checking Prime number 700 500 Canonical form Binary function Mathematics Boolean algebra Mathematical logic
123	Generating Efficient Libraries for use in FPGA Resynthesis Algorithms Andrew Kennings Alan Mishchenko Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2010-03-10 22:06:40 Digital electronics Boolean algebra Arrays Computer performance Lookup table Field-programmable gate array Truth table Programmable logic device Function Mathematics Electronic engineering Computing
124	Restructuring multi-level networks by using function approximations J. Cortadella M. Kishinevsky Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2003-04-08 11:43:32 Graph theory Science Binary decision diagram Boolean algebra Circuit Influence diagram Static single assignment form Artificial neuron Boolean network Diagrams Model checking Mathematics
125	Reducing Structural Bias in Technology Mapping S. Chatterjee A. Mishchenko R. Brayton X. Wang T. Kam Department of EECS Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2005-05-01 15:18:03 Electronics Boolean algebra Diagrams Algebraic logic And-inverter graph Logic synthesis Boolean function Circuit Topology Electronic engineering Electromagnetism Electronic design automation
126	Bi-Decomposition of Multi-Valued Relations Alan Mishchenko α α Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-05-09 04:01:38 Constraint programming Decomposition method Model theory Boolean algebra Function Canonical form Multivalued function Interpretation Binary decision diagram Mathematics Mathematical logic Functions and mappings
127	Reducing Structural Bias in Technology Mapping S. Chatterjee A. Mishchenko R. Brayton X. Wang T. Kam Department of EECS Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-02-27 20:55:14 Electronics Diagrams Boolean algebra And-inverter graph Canonical form Logic synthesis Circuit Boolean function Topology Electronic engineering Electromagnetism Electronic design automation
128	An Algorithm for Bi-Decomposition of Logic Functions Alan Mishchenko Bernd Steinbach Marek Perkowski Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-03-22 12:41:00 Binary decision diagram Diagrams Model checking Decomposition method Reed-Muller expansion Function Mathematics Boolean algebra Mathematical logic
129	Unate Decomposition of Boolean Functions Alan Mishchenko∗ Portland State University Dept. of Electrical and Computer Engineering Portland, OR 97207, USA [removed] Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-05-09 03:54:08 Logic synthesis Cube Circuit minimization Boolean function Function C++ Espresso heuristic logic minimizer Mathematics Electronic engineering Boolean algebra
130	LUTMIN: FPGA Logic Synthesis with MUX-Based and Cascade Realizations Tsutomu Sasao 1 and Alan Mishchenko[removed]Dept. of Computer Science and Electronics, Kyushu Institute of Technology, Iizuka[removed], Japan Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2009-07-09 02:20:06 Boolean algebra Diagrams Field-programmable gate array Binary decision diagram Lookup table Xilinx Multiplexer Artificial neuron Function Computing Mathematics Electronic engineering

UPDATE